Nuprl Definition : fifoSender
11,40
postcript
pdf
fifoSender(
ff
)(
i
) == spreadn(
ff
;
C
,
T
,
S
,
R
,
codes
,
decodes
,
p
.((
p
(
i
)).1))
latex
Definitions
x
.
A
(
x
)
,
spreadn(
u
;
a
,
b
,
c
,
d
,
e
,
f
,
g
.
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
))
,
t
.1
,
f
(
a
)
FDL editor aliases
fifoSender
origin
x.A(x)x.A(x)